Special Issue on Automated Deduction

Special Issue

Special issue on Automated Verification of Critical Systems (AVoCS'11)

AVoCS 2014, the 14th International Conference on Automated Verification of Critical Systems has been hosted by the University of Twente, and has taken place in Enschede, Netherlands, on 24–26 September, 2014. The aim of the AVoCS series is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of ...

Special issue on Automated Specification and Verification of Web Systems

We solicit original papers on topics of either theoretical or applied interest, which include, but are not limited to: Rule-based approaches to Web system analysis, certification, specification, verification, and optimization. Languages and models for programming and designing Web systems. Formal methods for describing and reasoning about Web systems. Model-checking, synthesis and debugging of ...

Special Issue on Advances in Agent-mediated Automated Negotiations

Complex Automated Negotiations have been studied very widely and becoming an emerging area in the field of Autonomous Agents and Multi-Agent Systems. In general, a negotiation could be complex because many factors need to be considered to specify such a negotiation. These factors may include a number of negotiation issues, dependency of issues, representation of utilities, negotiation protocols...

Special issue on practical aspects of automated reasoning

The Suggested Upper Merged Ontology (SUMO) has provided the TPTP problem library with problems that have large numbers of axioms, of which typically only a few are needed to prove any given conjecture. The LTB division of the CADE ATP System Competition tests the performance of ATP systems on these types of problems. The SUMO problems were used in the SMO category of the LTB division in 2008. T...